-
1 Intension
сущ.1) общ. замысел, рвение, усилие, целенаправленность, напряжение2) комп. намерение, содержание, смысл (высказывания в логике) -
2 logically
1) логично
2) логически
3) последовательно ∙ logically consistent data ≈ логически непротиворечивые данные logically constructed relation ≈ логически построенное соотношение logically defined class ≈ логически определенный класс logically determinate event ≈ логически определенное событие logically determinate formula ≈ логически определенная формула logically equivalent circuits ≈ логически эквивалентные схемы logically equivalent propositions ≈ логически эквивалентные высказывания logically equivalent statements ≈ логически эквивалентные высказывания logically false expression ≈ логически ложное выражение logically indeterminate event ≈ логически неопределенное событие logically irreducible relation ≈ логически неприводимое соотношение logically necessary hypothesis ≈ логически необходимая гипотеза logically related events ≈ логически связанные события logically true expression ≈ логически истинное выражение logically true sentence ≈ логически истинное предложение logically true statement ≈ логически истинное высказывание logically universal sentence ≈ логически универсальное предложение logically valid formula ≈ логически общезначимая формула logically valid sentence ≈ логически общезначимое предложение - logically absurd - logically complex - logically conclusive - logically consistent - logically contradictory - logically correct - logically defined - logically dependent - logically determinate - logically equivalent - logically exhaustive - logically false - logically imply - logically impossible - logically inconsistent - logically independent - logically indeterminate - logically justifiable - logically necessary - logically true - logically universal - logically valid - multiply logically логично;
логически логически рассуждая - *, one should become wiser with experience but some people never do по логике, нам следовало бы становиться умнее с годами, но некоторым из нас это не удаетсяБольшой англо-русский и русско-английский словарь > logically
-
3 proposition
1) утверждение, высказывание, суждениепод высказыванием в обычной логике понимается утверждение или повествовательное предложение, относительно которого можно сказать, истинно оно или ложно (т. е. утверждение о истинности или ложности высказывания должно иметь смысл), при этом оно не может быть и истинным, и ложным одновременно. Высказывания называются простыми (simple proposition), если они не содержат связок, и сложными (compound proposition) в противном случае. Над высказываниями могут производиться логические операции.Syn:2) теорема3) предложение, план, проект4) глаг. предлагатьАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > proposition
-
4 truth value
1) Техника: истинное значение2) Математика: значение истинности3) Лингвистика: значение истинности (высказывания)4) Вычислительная техника: истинностное значение5) Макаров: истинное значение (в логике) -
5 SUBSTANTIA SUBIECTA (SUBJECT SUBSTANCE)
субъект-субстанция, подлежащая субстанция. Термин, введенный Боэцием: идея креационизма предполагает, что любая сотворенная субстанция обладает субъектностью на основании акта творения. Единство субъекта и субстанции есть вещь, в противном случае это, как говорили гностики, - призрачное тело. Здесь же речь шла о полном и единовременном существовании субстанции в чувственной вещи (см.: Боэций. Комментарий к Порфирию // Боэций. Утешение философией. С. 28) На основании субъект-субстанции, или субъект-вещи, создается всякое понятие. Без субъект-субстанции понятие - праздное слово, «ибо без субъекта не может быть понятия» (там же. С. 26). Субъект-подлежащее (аристотелева первая сущность) образует единство с вещью, или субстанцией, составляя основную смысловую единицу высказывания, поскольку внутри себя содержит информацию о возможностях своего изменения. По Петру Абеляру, который использовал этот термин Боэция, обратив внимание на «подвижность субъект-субстанции» (Петр Абеляр. Диалектика // Петр Абеляр. Тео-логические трактаты. С. 165), сближение субъекта и субстанции ведет к тому, что, в отличие от Аристотеля, по которому «общее всякой сущности не находится в подлежащем» (Аристотель. Категории. За 6), субъект (подлежащее) сказывается о субстанции, а субстанция сказывается об общем (всеобщем) субъекте, при этом с первого соскальзывают характеристики индивидуального при усилении всеобщего, а со второго - характеристики всеобщего при усилении индивидуального. В предложении «Сократ есть человек и разумное смертное животное» «Сократ» в качестве субъект-субстанции выражает отношение между первой субстанцией, единичностью (человек) и второй, родом (животное), общим (Петр Абеляр. Диалектика // Петр Абеляр. Теологические трактаты. С. 162). Последнее становится особенным, выраженным через индивидуальное, субъектное. Это создало иную ситуацию в логике, при которой категория субъекта, в силу акта творения, оставляющего след в любой субстанции, становится более существенной, чем категория предиката: последний начинает выполнять роль статуса. См. STATUS.Латинский словарь средневековых философских терминов > SUBSTANTIA SUBIECTA (SUBJECT SUBSTANCE)
-
6 propositional logic
логика высказываний, пропозициональная логикалогика, основным объектом которой служит понятие логического высказывания; простейшая логика, максимально близкая к человеческой логике неформальных рассуждений. Служит основой для более сложных логикАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > propositional logic
-
7 Синтетическое высказывание
♦ ( ENG synthetic statement)в логике - высказывание, в к-ром предикат добавляет новую информацию к той, что заложена в субъекте. Отличается от аналитического высказывания, в к-ром предикат уже содержится в субъекте.Westminster dictionary of theological terms > Синтетическое высказывание
См. также в других словарях:
ОПИСАТЕЛЬНО-ОЦЕНОЧНЫЕ ВЫСКАЗЫВАНИЯ — высказывания, играющие в одних контекстах роль описаний, а в других роль оценок. Описание и оценка представляют собой два противоположных отношения утверждений к действительности: истинностное и ценностное (см. ЯЗЫКА ФУНКЦИИ ). О. о.в. соединяют… … Философская энциклопедия
КОНТРАФАКТИЧЕСКИЕ ВЫСКАЗЫВАНИЯ — КОНТРАФАКТИЧЕСКИЕ ВЫСКАЗЫВАНИЯ высказывания в сослагательной форме с союзом “если бы... то бы...”: “Если бы ледники продвинулись на сотню километров южнее, то процесс обледенения Земли был бы необратим”, “Если бы Клеопатра не была красавицей … Философская энциклопедия
ТЕОРИЯ В ЛОГИКЕ — ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных… … Философская энциклопедия
Абсурд (в логике) — Абсурд (от лат. absurdus, «нестройный, нелепый»; от лат. ad absurdum, «исходящий от глухого») нечто нелогичное, нелепое, противоречащее здравому смыслу. Абсурдным считается выражение, которое внешне не является противоречивым, но из которого все … Википедия
ТОЖДЕСТВА ЗАКОН — (лат. lex identitatis) в логике высказываний, закон постоянства высказываний: любая законченная мысль (суждение), выраженная в определ. форме высказывания и имеющая опре дел. истинностное значение, должна сохранять свою первонач. форму и… … Философская энциклопедия
Высказывание — Высказывание единица речевого общения. Потребность в выделении высказывания как лингвистического понятия связана с углублением исследования функционирования языковых форм в речи. Высказывание определяется по отношению к понятию предложения.… … Лингвистический энциклопедический словарь
пропозициональная связка — операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В к. л. формулы (простые,… … Словарь терминов логики
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия